\documentclass[a4paper,12pt]{book}

\usepackage{k2latex.bb}
\usepackage{graphicx}
\usepackage{tabularx}
\usepackage{multirow}
\usepackage{rotating}
\usepackage{tikz}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{import}
\usepackage{mathabx}
\usepackage{alltt}
\usepackage[noline,boxruled]{algorithm2e}



% commands
%\newcommand{\tick}{\ding{52}}

% definitions
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem*{claim}{Claim}
\newtheorem{alg}{Algorithm}
\newtheorem{proposition}{Proposition}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{corollary}{Corollary}


\newcommand{\HRule}{\rule{\linewidth}{0.5mm}}


\pagestyle{empty}


\begin{document}


\pagenumbering{roman}

\include{titlepage}

\include{abstract}
\include{ack}

\setcounter{tocdepth}{1}
\tableofcontents

\pagestyle{plain}
\pagenumbering{arabic}

\include{intro}

\include{chapter2}

\include{k_overview}

\include{contexts}
\include{chapter4}

%
%\cite{*}

\bibliographystyle{plain}
\bibliography{mibib}

\include{simple}

\include{declaratii}

\end{document}
